case study of software requirement specification